[Donini et al., 1994] 

Francesco Donini, Maurizio Lenzerini,
Daniele Nardi, and Andrea Schaerf. Deduction in concept
languages: from subsumption to instance checking. Journal
of logic and computation, 4(4):423–452, 1994.